Optimal. Leaf size=644 \[ \frac {\sqrt {a+b} (b (c-d)-2 a d) \sec (e+f x) (c+d \sin (e+f x)) \sqrt {\frac {(b c-a d) (1-\sin (e+f x))}{(a+b) (c+d \sin (e+f x))}} \sqrt {-\frac {(b c-a d) (\sin (e+f x)+1)}{(a-b) (c+d \sin (e+f x))}} F\left (\sin ^{-1}\left (\frac {\sqrt {c+d} \sqrt {a+b \sin (e+f x)}}{\sqrt {a+b} \sqrt {c+d \sin (e+f x)}}\right )|\frac {(a+b) (c-d)}{(a-b) (c+d)}\right )}{d^2 f \sqrt {c+d}}-\frac {\sqrt {a+b} (b c-3 a d) \sec (e+f x) (c+d \sin (e+f x)) \sqrt {\frac {(b c-a d) (1-\sin (e+f x))}{(a+b) (c+d \sin (e+f x))}} \sqrt {-\frac {(b c-a d) (\sin (e+f x)+1)}{(a-b) (c+d \sin (e+f x))}} \Pi \left (\frac {(a+b) d}{b (c+d)};\sin ^{-1}\left (\frac {\sqrt {c+d} \sqrt {a+b \sin (e+f x)}}{\sqrt {a+b} \sqrt {c+d \sin (e+f x)}}\right )|\frac {(a+b) (c-d)}{(a-b) (c+d)}\right )}{d^2 f \sqrt {c+d}}-\frac {b \cos (e+f x) \sqrt {a+b \sin (e+f x)}}{f \sqrt {c+d \sin (e+f x)}}-\frac {b (a-b) \sqrt {a+b} \sqrt {c+d} \sec (e+f x) (c+d \sin (e+f x)) \sqrt {\frac {(b c-a d) (1-\sin (e+f x))}{(a+b) (c+d \sin (e+f x))}} \sqrt {-\frac {(b c-a d) (\sin (e+f x)+1)}{(a-b) (c+d \sin (e+f x))}} E\left (\sin ^{-1}\left (\frac {\sqrt {c+d} \sqrt {a+b \sin (e+f x)}}{\sqrt {a+b} \sqrt {c+d \sin (e+f x)}}\right )|\frac {(a+b) (c-d)}{(a-b) (c+d)}\right )}{d f (b c-a d)} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 1.54, antiderivative size = 644, normalized size of antiderivative = 1.00, number of steps used = 6, number of rules used = 6, integrand size = 29, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.207, Rules used = {2821, 3053, 2811, 2998, 2818, 2996} \[ \frac {\sqrt {a+b} (b (c-d)-2 a d) \sec (e+f x) (c+d \sin (e+f x)) \sqrt {\frac {(b c-a d) (1-\sin (e+f x))}{(a+b) (c+d \sin (e+f x))}} \sqrt {-\frac {(b c-a d) (\sin (e+f x)+1)}{(a-b) (c+d \sin (e+f x))}} F\left (\sin ^{-1}\left (\frac {\sqrt {c+d} \sqrt {a+b \sin (e+f x)}}{\sqrt {a+b} \sqrt {c+d \sin (e+f x)}}\right )|\frac {(a+b) (c-d)}{(a-b) (c+d)}\right )}{d^2 f \sqrt {c+d}}-\frac {\sqrt {a+b} (b c-3 a d) \sec (e+f x) (c+d \sin (e+f x)) \sqrt {\frac {(b c-a d) (1-\sin (e+f x))}{(a+b) (c+d \sin (e+f x))}} \sqrt {-\frac {(b c-a d) (\sin (e+f x)+1)}{(a-b) (c+d \sin (e+f x))}} \Pi \left (\frac {(a+b) d}{b (c+d)};\sin ^{-1}\left (\frac {\sqrt {c+d} \sqrt {a+b \sin (e+f x)}}{\sqrt {a+b} \sqrt {c+d \sin (e+f x)}}\right )|\frac {(a+b) (c-d)}{(a-b) (c+d)}\right )}{d^2 f \sqrt {c+d}}-\frac {b \cos (e+f x) \sqrt {a+b \sin (e+f x)}}{f \sqrt {c+d \sin (e+f x)}}-\frac {b (a-b) \sqrt {a+b} \sqrt {c+d} \sec (e+f x) (c+d \sin (e+f x)) \sqrt {\frac {(b c-a d) (1-\sin (e+f x))}{(a+b) (c+d \sin (e+f x))}} \sqrt {-\frac {(b c-a d) (\sin (e+f x)+1)}{(a-b) (c+d \sin (e+f x))}} E\left (\sin ^{-1}\left (\frac {\sqrt {c+d} \sqrt {a+b \sin (e+f x)}}{\sqrt {a+b} \sqrt {c+d \sin (e+f x)}}\right )|\frac {(a+b) (c-d)}{(a-b) (c+d)}\right )}{d f (b c-a d)} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2811
Rule 2818
Rule 2821
Rule 2996
Rule 2998
Rule 3053
Rubi steps
\begin {align*} \int \frac {(a+b \sin (e+f x))^{3/2}}{\sqrt {c+d \sin (e+f x)}} \, dx &=-\frac {b \cos (e+f x) \sqrt {a+b \sin (e+f x)}}{f \sqrt {c+d \sin (e+f x)}}+\frac {\int \frac {\frac {1}{2} d \left (2 a^2 c+b^2 c-a b d\right )+a d (b c+a d) \sin (e+f x)-\frac {1}{2} b d (b c-3 a d) \sin ^2(e+f x)}{\sqrt {a+b \sin (e+f x)} (c+d \sin (e+f x))^{3/2}} \, dx}{d}\\ &=-\frac {b \cos (e+f x) \sqrt {a+b \sin (e+f x)}}{f \sqrt {c+d \sin (e+f x)}}+\frac {\int \frac {\frac {1}{2} b c^2 d (b c-3 a d)+\frac {1}{2} d^3 \left (2 a^2 c+b^2 c-a b d\right )+d \left (b c d (b c-3 a d)+a d^2 (b c+a d)\right ) \sin (e+f x)}{\sqrt {a+b \sin (e+f x)} (c+d \sin (e+f x))^{3/2}} \, dx}{d^3}-\frac {(b (b c-3 a d)) \int \frac {\sqrt {c+d \sin (e+f x)}}{\sqrt {a+b \sin (e+f x)}} \, dx}{2 d^2}\\ &=-\frac {b \cos (e+f x) \sqrt {a+b \sin (e+f x)}}{f \sqrt {c+d \sin (e+f x)}}-\frac {\sqrt {a+b} (b c-3 a d) \Pi \left (\frac {(a+b) d}{b (c+d)};\sin ^{-1}\left (\frac {\sqrt {c+d} \sqrt {a+b \sin (e+f x)}}{\sqrt {a+b} \sqrt {c+d \sin (e+f x)}}\right )|\frac {(a+b) (c-d)}{(a-b) (c+d)}\right ) \sec (e+f x) \sqrt {\frac {(b c-a d) (1-\sin (e+f x))}{(a+b) (c+d \sin (e+f x))}} \sqrt {-\frac {(b c-a d) (1+\sin (e+f x))}{(a-b) (c+d \sin (e+f x))}} (c+d \sin (e+f x))}{d^2 \sqrt {c+d} f}+\frac {(b (c+d) (b c-a d)) \int \frac {1+\sin (e+f x)}{\sqrt {a+b \sin (e+f x)} (c+d \sin (e+f x))^{3/2}} \, dx}{2 d}+\frac {\left (\frac {1}{2} b c^2 d (b c-3 a d)+\frac {1}{2} d^3 \left (2 a^2 c+b^2 c-a b d\right )-d \left (b c d (b c-3 a d)+a d^2 (b c+a d)\right )\right ) \int \frac {1}{\sqrt {a+b \sin (e+f x)} \sqrt {c+d \sin (e+f x)}} \, dx}{(c-d) d^3}\\ &=-\frac {b \cos (e+f x) \sqrt {a+b \sin (e+f x)}}{f \sqrt {c+d \sin (e+f x)}}-\frac {(a-b) b \sqrt {a+b} \sqrt {c+d} E\left (\sin ^{-1}\left (\frac {\sqrt {c+d} \sqrt {a+b \sin (e+f x)}}{\sqrt {a+b} \sqrt {c+d \sin (e+f x)}}\right )|\frac {(a+b) (c-d)}{(a-b) (c+d)}\right ) \sec (e+f x) \sqrt {\frac {(b c-a d) (1-\sin (e+f x))}{(a+b) (c+d \sin (e+f x))}} \sqrt {-\frac {(b c-a d) (1+\sin (e+f x))}{(a-b) (c+d \sin (e+f x))}} (c+d \sin (e+f x))}{d (b c-a d) f}+\frac {\sqrt {a+b} (b (c-d)-2 a d) F\left (\sin ^{-1}\left (\frac {\sqrt {c+d} \sqrt {a+b \sin (e+f x)}}{\sqrt {a+b} \sqrt {c+d \sin (e+f x)}}\right )|\frac {(a+b) (c-d)}{(a-b) (c+d)}\right ) \sec (e+f x) \sqrt {\frac {(b c-a d) (1-\sin (e+f x))}{(a+b) (c+d \sin (e+f x))}} \sqrt {-\frac {(b c-a d) (1+\sin (e+f x))}{(a-b) (c+d \sin (e+f x))}} (c+d \sin (e+f x))}{d^2 \sqrt {c+d} f}-\frac {\sqrt {a+b} (b c-3 a d) \Pi \left (\frac {(a+b) d}{b (c+d)};\sin ^{-1}\left (\frac {\sqrt {c+d} \sqrt {a+b \sin (e+f x)}}{\sqrt {a+b} \sqrt {c+d \sin (e+f x)}}\right )|\frac {(a+b) (c-d)}{(a-b) (c+d)}\right ) \sec (e+f x) \sqrt {\frac {(b c-a d) (1-\sin (e+f x))}{(a+b) (c+d \sin (e+f x))}} \sqrt {-\frac {(b c-a d) (1+\sin (e+f x))}{(a-b) (c+d \sin (e+f x))}} (c+d \sin (e+f x))}{d^2 \sqrt {c+d} f}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] time = 32.69, size = 222963, normalized size = 346.22 \[ \text {Result too large to show} \]
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
fricas [F] time = 2.92, size = 0, normalized size = 0.00 \[ {\rm integral}\left (\frac {{\left (b \sin \left (f x + e\right ) + a\right )}^{\frac {3}{2}}}{\sqrt {d \sin \left (f x + e\right ) + c}}, x\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {{\left (b \sin \left (f x + e\right ) + a\right )}^{\frac {3}{2}}}{\sqrt {d \sin \left (f x + e\right ) + c}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 10.60, size = 529691, normalized size = 822.50 \[ \text {output too large to display} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {{\left (b \sin \left (f x + e\right ) + a\right )}^{\frac {3}{2}}}{\sqrt {d \sin \left (f x + e\right ) + c}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.00 \[ \int \frac {{\left (a+b\,\sin \left (e+f\,x\right )\right )}^{3/2}}{\sqrt {c+d\,\sin \left (e+f\,x\right )}} \,d x \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {\left (a + b \sin {\left (e + f x \right )}\right )^{\frac {3}{2}}}{\sqrt {c + d \sin {\left (e + f x \right )}}}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________